Cracking Foundations as Feminist Method

Foundations of Feminist Therapy

Feminist Visualization: Re-envisioning GIS as a Method in Feminist Geographic Research

, 92(4), 2002, pp. 645–661 © 2002 by Association of American Geographers Published by Blackwell Publishing, 350 Main Street, Malden, MA 02148, and 108 Cowley Road, Oxford, OX4 1JF, UK. Richly evocative figures exist for feminist visualizations of the world as witty agent . . . We just live here and try to strike up non-innocent conversations by means of our prosthetic devices, including our vis...

Univalent foundations as structuralist foundations

The Univalent Foundations of Mathematics (UF) provide not only an entirely non-Cantorian conception of the basic objects of mathematics (“homotopy types” instead of “sets”) but also a novel account of how foundations ought to relate to mathematical practice. In this paper, I intend to answer the question: In what way is UF a new foundation of mathematics? I will begin by connecting UF to a prag...

Doing Archaeology as a Feminist: Introduction

Gender research archaeology has made significant contributions, but its dissociation from the resources of feminist scholarship and feminist activism is a significantly limiting factor in its development. The essays that make up this special issue illustrate what is to be gained by making systematic use of these resources. Their distinctively feminist contributions are characterized in terms of...

Foundations of the B Method

B is a method for specifying, designing and coding software systems. It is based on Zermelo-Fraenkel set theory with the axiom of choice, the concept of generalized substitution and on structuring mechanisms (machine,refinement, implementation). The concept of refinement is the key notion for developing B models of (software) systems in an incremental way. B models are accompanied by mathematic...